Rule-governed Allomorphy Can Be Suppletive Also

Recursive Path Orderings Can Also Be Incremental

In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingredients not only a precedence but also an underlying ordering =B. It can be used for incremental (innermost) termination proofs of hierarchical unions by defining =B as an extension of the termination proof obtained fo...

Explaining phonological conditions on affixation: Evidence from suppletive allomorphy and affix ordering

This paper examines two domains in which phonology may exert an influence on morphology: suppletive allomorph selection and affix ordering. Cross-linguistic facts about both phenomena are examined and ultimately argued to provide evidence for a phonology-morphology interface in which morphology precedes phonology at each level of the grammar in a cyclic-type approach, and phonological condition...

Can Complex Cellular Processes be Governed by Simple Linear Rules?

Complex living systems have shown remarkably well-orchestrated, self-organized, robust, and stable behavior under a wide range of perturbations. However, despite the recent generation of high-throughput experimental datasets, basic cellular processes such as division, differentiation, and apoptosis still remain elusive. One of the key reasons is the lack of understanding of the governing princi...

Type 2 diabetes can also be multigenerational like MODY

Correctness By Construction: Better Can Also Be Cheaper

I n December 1999 CrossTalk [3], David Cook provided a well-reasoned historical analysis of programming language development and considered the role languages play in the software development process. The article was valuable because it showed that programming language developments are not sufficient to ensure success; however, it would be dangerous to conclude from this that they are not neces...